[options]
mode {{ mode }}
depth {{ depth }}

[engines]
smtbmc {{ engines }}

[script]
read -formal -sv {{ design_name }}
prep -top {{ top_module }}

[files]
{{ design_path }}
{{ props_path }}